Marginally closed processes with local interaction
نویسندگان
چکیده
منابع مشابه
Mobile Processes with Local Clocks
We propose a structural operational semantics that expresses temporal aspects of mobile and distributed systems, each sequential component of which has its local clock. Since the run-time support of a programming language implements the operations of the language via some lower-level routines, the same action, put in diierent contexts, may have diierent durations. Also the network topology aaec...
متن کاملstudy of dna interaction with ethylenediaminetetraacetic acid and sesamol food additives
برهمکنش dnaتیموس گاوی طبیعی (ct-dna) با اتیلن دی آمین تترااستات (edta)در بافرtris-hcl با 8/7 ph ( دراین ph،edta به نمک دی سدیم تبدیل می شود) وسسامول در بافر tris-hcl با4/7 ph مورد بررسی قرار گرفته است. edta و سسامول استفاده فراوانی در تکنولوژی غذایی و صنعت شیمیایی دارند. مدل اتصال dna مربوط بهedta بوسیله اسپکتروفتومتری جذب، دورنگ نمایی حلقوی(cd)، ویسکومتری وژل الکتروفورز بررسی شده است. طیفuv ...
15 صفحه اولProcesses with local and global liveness requirements
The deterministic QS model, introduced in [CS95], captures (local) liveness properties, commonly specified in Temporal Logic, and not fully captured by nondeterministic process models. Liveness explains how some processes engage spontaneously in some actions and wait passively for the triggering of other actions by other processes. In this paper, we extend the QS model to describe liveness prop...
متن کاملSemantic Matchmaking of Web Resources with Local Closed-World Reasoning
Ontology languages like OWL allow for semantically rich annotation of resources, such as products advertised at an electronic online marketplace, while the Description Logic (DL) formalism underlying OWL provides reasoning techniques to perform matchmaking on such annotations. We identify peculiarities in the use of DL inferences for matchmaking which are due to the open-world semantics of OWL,...
متن کاملLocal Interaction
Reproduction partielle permise avec citation du document source, incluant la notice ©. Short sections may be quoted without explicit permission, if full credit, including © notice, is given to the source. CIRANO Le CIRANO est un organisme sans but lucratif constitué en vertu de la Loi des compagnies du Québec. Le financement de son infrastructure et de ses activités de recherche provient des co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Stochastic Processes and their Applications
سال: 1992
ISSN: 0304-4149
DOI: 10.1016/0304-4149(92)90075-2